Peter Aczel: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Skylark

Skylark

Dezső Kosztolányi, Richard Aczel (Translator), Péter Esterházy (Introduction)

عام:

2010

اللغة:

english

ملف:

EPUB, 496 KB

5.0 / 0

english, 2010

2

Homotopy Type Theory. Univalent Foundations of Mathematics

Homotopy Type Theory. Univalent Foundations of Mathematics

Aczel Peter et al.

اللغة:

english

ملف:

PDF, 6.73 MB

0 / 0

english

3

Non-Well-Founded Sets

Non-Well-Founded Sets

CSLI Publications

عام:

1988

اللغة:

english

ملف:

PDF, 4.46 MB

0 / 0

english, 1988

4

Skylark

Skylark

New York Review Books

Dezsö Kosztolányi, Péter Esterházy, Richard Aczel

عام:

1985

اللغة:

english

ملف:

MOBI , 521 KB

0 / 0

english, 1985

5

Non-Well-Founded Sets

Non-Well-Founded Sets

CSLI Publications

عام:

1988

اللغة:

english

ملف:

DJVU, 1.98 MB

0 / 0

english, 1988

6

Situation Theory and Its Applications

Situation Theory and Its Applications

CSLI Publications

Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.)

عام:

1993

اللغة:

english

ملف:

DJVU, 3.06 MB

0 / 0

english, 1993

7

Situation Theory and Its Applications

Situation Theory and Its Applications

CSLI Publications

Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.)

عام:

1993

اللغة:

english

ملف:

PDF, 10.37 MB

0 / 0

english, 1993

8

Skylark

Skylark

New York Review Books

Dezsö Kosztolányi, Péter Esterházy, Richard Aczel [Aczel, Dezsö Kosztolányi, Péter Esterházy, Richard]

عام:

1985

اللغة:

english

ملف:

EPUB, 414 KB

0 / 0

english, 1985

9

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Cambridge University Press

Peter Aczel, Harold Simmons, Stanley S. Wainer

عام:

1993

اللغة:

english

ملف:

PDF, 9.38 MB

0 / 0

english, 1993

10

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)

عام:

2002

اللغة:

english

ملف:

PDF, 2.96 MB

0 / 0

english, 2002

11

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

عام:

1994

اللغة:

english

ملف:

DJVU, 5.58 MB

0 / 0

english, 1994

12

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

عام:

1997

اللغة:

english

ملف:

PDF, 12.55 MB

0 / 0

english, 1997

13

Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 2.55 MB

0 / 0

english, 1999

14

Conference in Mathematical Logic — London ’70

Conference in Mathematical Logic — London ’70

Peter Aczel, Wayne Richter (auth.), Wilfrid Hodges (eds.)

عام:

1972

اللغة:

english

ملف:

PDF, 6.36 MB

0 / 0

english, 1972

15

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)

عام:

2002

اللغة:

english

ملف:

PDF, 9.92 MB

0 / 0

english, 2002

16

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

عام:

1997

اللغة:

english

ملف:

DJVU, 3.21 MB

0 / 0

english, 1997